/*
yarpgen version 2.0 (build f17b7aa on 2023:05:23)
Seed: 1365930542
Invocation:
/root/workspace/MapleC_pipeline/Yarpgen_pipeline/maplec-test/Public/tools/yarpgen/yarpgen
-o
/root/workspace/MapleC_pipeline/Yarpgen_pipeline/maplec-test/../Report/LangFuzz/report/1693167733_14892/src
--std=c
*/
#include <stdio.h>
#define max(a, b)           \
  ({                        \
    __typeof__(a) _a = (a); \
    __typeof__(b) _b = (b); \
    _a > _b ? _a : _b;      \
  })
#define min(a, b)           \
  ({                        \
    __typeof__(a) _a = (a); \
    __typeof__(b) _b = (b); \
    _a < _b ? _a : _b;      \
  })
__attribute__((noinline))
void test(unsigned char var_5, unsigned int var_10) {
  long long int var_13 = ((long long int)(( unsigned int)((((int)(((_Bool)var_5) && (_Bool)var_10))) - (min((-71788434), (71788408))))));
  printf("after_var13 = %lld\n", var_13);
}
int main() {
  unsigned char var_5 = (unsigned char)19;
  unsigned int var_10 = 4248777019U;
  test(var_5, var_10);
  return 0;
}
